@${\it loc}$ only events in $L$ change $x$:$T$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$inr(inr(inr(inl($\langle$${\it loc}$$,\,$$T$$,\,$$x$$,\,$$L$$\rangle$))))